Nuprl Definition : csupdate-cmds 11,40

csupdate-cmds(x) == chain_sys_ind(x;cmd.;from,cmds.cmds
latex


Definitionschain_sys_ind(x;cmd.input(cmd);from,cmds.update(from;cmds)),
FDL editor aliasescsupdate-cmds

origin